#ifndef TIMER_H
#define TIMER_H
#include "thread.h"
#include "ARMCM3.h"
void tSetSysTickPeriod(uint32_t ms);
void SysTick_Handler();
#endif